MINLP (from Gupta-Ravindran; nvs_17 in MINLPLib) minco Knitro GAMS short